murrax.dev
Recently Edited:
Learning with Obsidian
Object Capabilities Security Model
Modal's GPU Glossary
2025-10-08 Type Safety
Proof of Preservation
Proof of preservation will always be on the bit that steps. If in doubt, try inversion.
Canonical Forms Lemma
Proof of Progress
Related Reading
Type Safety
ATiPL Problem Sheet 3
Problem Sheet 3 - Marked
Proof of preservation will always be on the bit that steps.
If in doubt, try inversion.
